König von Asturien = Könige von Asturien

---